Idempotent analysis